how to check if 7zip is installed in linux